Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols
نویسندگان
چکیده
Abstract: In the telecommunications field, protocols have to be seriously validated before their startup. Thus, it is necessary to test the conformance of a protocol, but it is also important to test its robustness in presence of unexpected events. This paper proposes a framework to test the robustness of a system. Firstly, we explain how to increase the nominal specification in order to take into account the hazards. Then, we show how to generate test sequences from the increased specification. Finally, we propose a case study on the SSL protocol, using the TGSE tool.
منابع مشابه
Cadre Formel pour le Test de Robustesse des Protocoles de Communication. (A Framework for Robustness Testing of Communicating Protocols)
In the telecommunication field, protocols have to be seriously validated before their startup. Thus, it is necessary to test the conformance of a protocol, but it is also important to test its robustness in presence of unexpected events. Although a precise definition of robustness is somewhat elusive, functionally the meaning is clear : the ability of a system, conform to its nominal specificat...
متن کاملTesting Protocol Robustness
Some new protocols as multimedia or wireless protocols are constrained and sometimes critical. We need to ensure their correct functioning before their development. They handle time constraints to model important aspects (delays, timeouts). This issue should be considered in specification language used to model such protocols. This paper presents a methodology for the development of reliable ti...
متن کاملFramework and Model for Automated Interoperability Test and Its Application to ROHC
In IP world, interoperability testing is heavily used to check the correctness of different implementations. Internet protocols have growing importance in communicating systems. In our paper we show an automatic interoperability test approach and also present its application on an IP-based protocol, ROHC. The primary goal of our work was to define an interoperability testing framework in TTCN-3...
متن کاملModel-Based Testing for MANETs
Conformance testing in network engineering is a crucial phase in the development of complex communicating systems. Model-based testing allows to automatize the testing process by generating test suites from a formal specification and to execute them on a real IUT. While many techniques have been developed, their application to test wireless routing ad-hoc protocols still raises many issues. The...
متن کاملRobustness in portfolio optimization based on minimax regret approach
Portfolio optimization is one of the most important issues for effective and economic investment. There is plenty of research in the literature addressing this issue. Most of these pieces of research attempt to make the Markowitz’s primary portfolio selection model more realistic or seek to solve the model for obtaining fairly optimum portfolios. An efficient frontier in the ...
متن کامل